Implementation of ordinarycohomology rings in cubical agda:
Thomas Lamiaux, Axel Ljungström, Anders Mörtberg, Computing Cohomology Rings in Cubical Agda, CPP 2023: Proceedings of the 12th ACM SIGPLAN International Conference on Certified Programs and Proofs (2023) [arxiv:2212.04182, doi:10.1145/3573105.3575677]
Thomas Lamiaux: Computing Cohomology Rings in Cubical Agda, talk at Running HoTT 2024, CQTS@NYUAD (April 2024) [video:kt]
Last revised on August 18, 2025 at 19:05:40. See the history of this page for a list of all contributions to it.